On the Weak mod m Representation of Boolean Functions

نویسنده

  • Vince Grolmusz
چکیده

Let P be a polynomial over the ring of mod m integers. P weakly Abstract-1 represents Boolean function f : {0, 1}n → {0, 1} if there is a subset S ⊆ {0, 1, . . . , m − 1} such that f(x) = 0 if and only if P (x) ∈ S. The smallest degree of polynomials P weakly representing f is called the weak mod m degree of f . We give here an Ω(logn) lower bound for the weak degree of the generalized inner product function (GIP) of Babai, Nisan, and Szegedy [BNS92]. This is the first lower-bound result for the weak degree of a Boolean function that does not deteriorate if the number of prime divisors of m increases. In the second part of the paper, we give superpolynomial lower Abstract-2 bounds for the number of monomials with nonzero coefficients in polynomials weakly representing the OR and the GIP◦PARITY functions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems

We say a polynomial P over ZZM strongly M -represents a Boolean function F if F (x) ≡ P (x) (mod M) for all x ∈ {0, 1} . Similarly, P one-sidedly M -represents F if F (x) = 0 ⇐⇒ P (x) ≡ 0 (mod M) for all x ∈ {0, 1} . Lower bounds are obtained on the degree and the number of monomials of polynomials over ZZM , which strongly or one-sidedly M -represent the Boolean function deciding if a given nb...

متن کامل

ON THE FUZZY SET THEORY AND AGGREGATION FUNCTIONS: HISTORY AND SOME RECENT ADVANCES

Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale ${0,1}$ into the scale $[0,1]$. We discuss these extensions, in particular, we focus on the dualities arising from the Boolean dualities. These dualities allow to transfer the results from some particular class of extended Boolean functions, e.g., from c...

متن کامل

Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products

We present a data structure | the Mod{2{OBDD's that considerably extend OBDD's (ordered binary decision diagrams) as well as ESOP's (EXOR{sum{of{ products). Many Boolean function of practical interest like hidden weighted bit function, indirect storage access function, important symmetric functions have exponential size optimal OBDD's and/or ESOP's (even multilevel EXOR{expressions) but (low de...

متن کامل

Representation of $H$-closed monoreflections in archimedean $ell$-groups with weak unit

 The category of the title is called $mathcal{W}$. This has all free objects $F(I)$ ($I$ a set). For an object class $mathcal{A}$, $Hmathcal{A}$ consists of all homomorphic images of $mathcal{A}$-objects. This note continues the study of the $H$-closed monoreflections $(mathcal{R}, r)$ (meaning $Hmathcal{R} = mathcal{R}$), about which we show ({em inter alia}): $A in mathcal{A}$ if and  only if...

متن کامل

Statistical Properties of Multiplication mod 2

In this paper, we investigate some statistical properties of multiplication mod 2 for cryptographic use. For this purpose, we introduce a family of T-functions similar to modular multiplication, which we call M-functions. We obtain the probability distribution of M-functions as vectorial Boolean functions. At first, we determine the joint probability distribution of arbitrary number of the outp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Chicago J. Theor. Comput. Sci.

دوره 1995  شماره 

صفحات  -

تاریخ انتشار 1995